Server: CERN/3.0A
Date: Tue, 26 Nov 1996 00:56:25 GMT
Content-Type: text/html
Content-Length: 4257
Last-Modified: Thu, 24 Oct 1996 00:06:42 GMT

<HTML>

<HEAD>
<TITLE>Computational Intelligence Research Laboratory</TITLE>
<BASE HREF="http://www.cirl.uoregon.edu/cirl.html">
<LINK REV="made" HREF="mailto:tania@cirl.uoregon.edu">
</HEAD>

<BODY>

<!WA0><IMG SRC="http://www.cirl.uoregon.edu/cirl-logo.gif">
<BR CLEAR=LEFT>
<BR>
<P>

The Computational Intelligence Research Laboratory (CIRL) of the <!WA1><A
HREF="http://www.uoregon.edu">University of Oregon</A> has a research
focus on basic questions in artificial intelligence including search,
knowledge representation, and reasoning.  Emphasis is on planning,
constraint satisfaction, and reasoning about action and physical
devices. Laboratory faculty members participate in some <!WA2><A
HREF="http://www.cs.uoregon.edu">Computer and Information Sciences
Department</A> activities and <!WA3><A
HREF="http://www.cs.uoregon.edu/~hacks/cis-fun/">shared
recreational activities</A>.<P>

The laboratory provides financial support for students and fosters an
intimate relationship among a small group of researchers working in
closely-related areas and the graduate students they supervise. The
Computational Intelligence Research Laboratory is committed to having
no more than twice as many students as faculty members.<P>

<HR>

<H2>Faculty</H2>

<UL>
<LI> <!WA4><A HREF="http://www.cirl.uoregon.edu/etherington/index.html">David W. Etherington</A> (Director)
<LI> <!WA5><A HREF="http://www.cirl.uoregon.edu/ginsberg/index.html">Matthew L. Ginsberg</A>
<LI> <!WA6><A HREF="http://www.cirl.uoregon.edu/joslin/index.html">David E. Joslin</A>
</UL><P>

<H2>Graduate Students</H2>

<UL>
<LI> <!WA7><a href="http://www.cirl.uoregon.edu/tania/tania.html">Tania Bedrax-Weiss</a>
<LI> <!WA8><A HREF="http://www.cirl.uoregon.edu/jonsson/home.html">Ari J&oacute;nsson</A>
<LI> <!WA9><A HREF="http://www.cs.uoregon.edu/~bart">Bart Massey</A>
<LI> <!WA10><a href="http://www.cirl.uoregon.edu/parkes/parkes.html">Andrew Parkes</a>
</UL><P>

<H2>Alumni</H2>

<UL>
<LI> <!WA11><A HREF="http://www.cirl.uoregon.edu/baker">Andrew Baker</A>
<LI> <!WA12><A HREF="http://www.cirl.uoregon.edu/crawford/crawford.html">James Crawford</A>
<LI> <!WA13><A HREF="http://www.cirl.uoregon.edu/harvey">Will Harvey</A>
<LI> <!WA14><A HREF="http://www.cirl.uoregon.edu/pemberto">Joe Pemberton</A>
</UL><P>

<HR>

<h1>Research</h1>

<ul>
<li> <!WA15><a href="http://www.cirl.uoregon.edu/research/overview.html"> Comprehensive Overview</a>: 
An introduction to each of the exiting areas of research CIRL members 
are contributing in. </li><P>
<li> <!WA16><a href="http://www.cirl.uoregon.edu/software.html">Software</a>:  Some software packages 
developed at CIRL are available.  You can view a demo that allows you to 
test a number of satisfiability solvers on problems of your choice, you 
can download the sources or binaries of some of these solvers, or if you 
prefer, you can download MVL, Matt Ginsberg's inference engine.</li> <P>
<li> <!WA17><a href="http://www.cirl.uoregon.edu/documents.html">Documents</a>: Some CIRL-related documents 
are available.  You'll find many interesting links, ranging from
research papers by CIRL members to a list of publicly available AI
systems.</li> <P>
<li> <!WA18><a href="http://www.cirl.uoregon.edu/constraints/">Constraints Archive</a>:
 This archive is part of the comp.constraints archive and FAQ and is 
currently maintained by David Joslin.  You'll find a wide range of topics 
from current constraint-related job openings to tutorials, publications, 
people, systems, etc.</li>
</ul>
<H4>  If you are looking for something in particular, you may want to
use <!WA19><a href="http://www.cirl.uoregon.edu/search.html">our search engine</a>.</H4>
<HR>

<H1>Contacts</h1>

CIRL is located in the Riverfront Research Park in Eugene Oregon USA.<BR>

More information on Eugene can be found by clicking <!WA20><a
href="http://www.ci.eugene.or.us/default.htm">here</a> or <!WA21><a href="http://www.efn.org/~sgazette/eugenehome.html">here</a>.<P>

<!WA22><IMG SRC="http://www.cirl.uoregon.edu/icons/mail.xbm" ALT="Address:"><BR>
CIRL<BR>
1269 University of Oregon<BR>
Eugene OR USA 97403-1269<P>
<!WA23><IMG SRC="http://www.cirl.uoregon.edu/icons/phone.xbm" ALT="Phone: ">
<I>+1 (541) 346-0470</I><P>
<!WA24><IMG SRC="http://www.cirl.uoregon.edu/icons/fax.xbm" ALT="FAX: ">
<I>+1 (541) 346-0474</I>
<P>

CIRL faculty can also be contacted if you have questions about
research agendas, etc. <P>

Additional information about the University of Oregon computer science
department, including application materials for potential graduate
students, can be obtained from Betty Lockwood.<BR>
<address>
<!WA25><IMG SRC="http://www.cirl.uoregon.edu/icons/email.xbm" ALT="E-mail: ">
<!WA26><a href="mailto:betty@cs.uoregon.edu">
betty@cs.uoregon.edu</a>
</address>
<P>

<HR>

Last Modified: 8/27/96<BR>
<!by Ari>
<address>
Tania Bedrax-Weiss
<!WA27><a href="mailto:tania@cirl.uoregon.edu">tania@cirl.uoregon.edu</a>
</address>

</BODY>
</HTML>
